l[i:=x] == mklist(||l||;i.l[i][i:=x]) 

latex

---

clarification:

l[i:=x] == mklist(||l||;update(i,j. (i = j);i.l[i];i;x)) 

latex

Definitions	mklist(n;f), ||as||, f[x:=v], (i = j), l[i]
FDL editor aliases	list_update